Constructive semantics for instantaneous reactions
نویسندگان
چکیده
منابع مشابه
Constructive semantics for instantaneous reactions
This report presents some results towards a game–theoretic account of the constructive semantics of step responses for synchronous languages, providing a coherent semantic framework encompassing both non-deterministic Statecharts (as per Pnueli & Shalev) and deterministic Esterel. In particular, it is shown that Esterel arises from a finiteness condition on strategies whereas Statecharts permit...
متن کاملA Constructive Semantics for ALC
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK interpretation. We prove that such a semantics provides an interpretation of ALC formulas consistent with the classical one and we show how, according to s...
متن کاملConstructive Sheaf Semantics
Sheaf semantics is developed within a constructive and predicative framework, Martin-Lof’s type theory. We prove strong completeness of many sorted, first order intuitionistic logic with respect to this semantics, by using sites of provably functional relations. Mathematics Subject Classification: 03B20, 03C90, 18F10, 18F25.
متن کاملA Bottom-up Semantics for Constructive Negation
The constructive negation rule has been introduced by Chan 5, 6] to overcome the main drawbacks of the negation-as-failure rule: the unsoundness of oundering programs and, consequently , the inability of providing answers for non-ground negative queries. In this paper we deene a bottom-up semantics for constructive negation which we prove sound and complete with respect to the three-valued comp...
متن کاملActions over a Constructive Semantics for ALC
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ALC.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2011
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2010.09.007